use of jdk jre and jvm in java